discrete time dynamics